Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
941	Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-01-21 13:03:49 Algebraic logic Binary decision diagram Diagrams Model checking Prime number 700 500 Canonical form Binary function Mathematics Boolean algebra Mathematical logic
942	Department of Automatic Control & Systems Engineering would like to announce the following seminar: Information Theoretic Novelty Detection Speaker: Dr Maurizio Filippone Department of Computer Science Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2011-07-19 20:20:23 Machine learning Statistical models Cluster analysis Normal distribution Change detection Mixture model Computer vision Data analysis Gaussian function Statistics Probability and statistics Probability
943	PARCC MODEL CONTENT FRAMEWORKS MATHEMATICS ALGEBRA I Version 3.0 November 2012 Add to Reading List Source URL: www.parcconline.org Language: English - Date: 2012-11-29 11:17:39 Elementary mathematics Analytic functions Elementary algebra Polynomials Abstract algebra Algebra Exponential function Function Quadratic equation Mathematics Mathematical analysis Equations
944	Applying a Grouping Operator in Model Transformations Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software Integrated Systems, 2015 T Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 14:46:51 Graph rewriting Port Function Mathematics Two-port network Dataflow
945	ECE-320 Linear Control Systems Laboratory 8 System Modelling, State Variable Controller Design, and the Real World Preview In this Lab you will first obtain a second order model of your spring/mass/damper system, design Add to Reading List Source URL: www.rose-hulman.edu Language: English - Date: 2004-05-28 12:05:42 Systems science Controller Control system Step response Full state feedback Feedback Frequency response Transfer function State space Control theory Systems theory Cybernetics
946	Restructuring multi-level networks by using function approximations J. Cortadella M. Kishinevsky Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-08 11:43:32 Graph theory Science Binary decision diagram Boolean algebra Circuit Influence diagram Static single assignment form Artificial neuron Boolean network Diagrams Model checking Mathematics
947	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
948	An Algorithm for Bi-Decomposition of Logic Functions Alan Mishchenko Bernd Steinbach Marek Perkowski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-03-22 12:41:00 Binary decision diagram Diagrams Model checking Decomposition method Reed-Muller expansion Function Mathematics Boolean algebra Mathematical logic
949	A Cryptographically-Based Operating System Security Model That Protects against Privileged Attackers Christian Payne This thesis is presented for the Add to Reading List Source URL: researchrepository.murdoch.edu.au Language: English - Date: 2011-02-17 01:18:57 Crime prevention National security Computer network security Trusted system Cryptographic hash function Cryptographic engineering XTS-400 Security Cryptography Computer security
950	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics

UPDATE